(0 5 3)(1 12 9)(2 13 11)(4 14 8)(6 16 7)(10 17 15)
ALLOWS (11/8)-SEQUENCE
1: (1 7 9)

(0 5 3)(1)(2 13 11)(4 14 8)(6 16 7 12 9)(10 17 15)
2: (7 12 16)

(0 5 3)(1)(2 13 11)(4 14 8)(6 16 9)(7)(10 17 15)(12)
3: (10 17 15)

(0 5 3)(1)(2 13 11)(4 14 8)(6 16 9)(7)(10)(12)(15)(17)
4: (2 13 11)

(0 5 3)(1)(2)(4 14 8)(6 16 9)(7)(10)(11)(12)(13)(15)(17)